181. Superstrings'87: proceedings of the Trieste Spring School, 1-11 April 1987
پدیدآورنده : edited by L. Alvarez-Gaume...]et al.[
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، String models- Congresses,، Superstring theories- Congresses
رده :
QC
794
.
6
.
S85
S868
182. Surface reactive peptides and polymers :
پدیدآورنده : C. Steven Sikes, editor, A.P. Wheeler, editor
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biomineralization, Congresses,Peptides-- Surfaces, Congresses,Phosphoproteins-- Surfaces, Congresses,Proteins-- Surfaces, Congresses,Surface chemistry, Congresses
رده :
QP551
.
S915
1991
183. Symmetries, differential equations and applications :
پدیدآورنده : Victor G. Kac, Peter J. Olver, Pavel Winternitz, Teoman Özer, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lie groups, Congresses.,Computational Mathematics and Numerical Analysis.,Difference and Functional Equations.,Dynamical Systems and Ergodic Theory.,Ordinary Differential Equations.,Theoretical, Mathematical and Computational Physics.,Topological Groups, Lie Groups.,Differential calculus & equations.,Groups & group theory.,Lie groups.,Mathematical physics.,MATHEMATICS-- Algebra-- Intermediate.,Nonlinear science.,Numerical analysis.
رده :
QA387
184. The Chinese calculus of deterrence: India and Indochina
پدیدآورنده : [by] Allen S. Whiting
کتابخانه: Library of Faculty of Law and Political Science of Tehran University (Tehran)
موضوع : China-- Military policy,Deterrence (strategy)-- Congresses
رده :
UA835
.
W45
185. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
186. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
187. Theoretical computer science :
پدیدآورنده : edited by Peter Deussen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.
188. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
پدیدآورنده : Armin Biere, Carla P. Gomes )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
189. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
190. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
پدیدآورنده : Holger H. Hoos, David G. Mitchell )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
191. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
پدیدآورنده : Enrico Giunchiglia, Armando Tacchella )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
192. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
193. Tools for high performance computing 2017 :
پدیدآورنده : editors, Christoph Niethammer, Michael M. Resch, Wolfgang E. Nagel, Holger Brunst and Hartmut Mix.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : High performance computing, Congresses.,High performance computing.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
QA76
.
88
194. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro Internationale Mathematico Estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987
پدیدآورنده : M. Giaguinta )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Calculus of variations
رده :
QA
3
.
L28
Vol
.
1365
195. Topics in calculus of variations: lectures given at the 2nd 1987 session of the Centro Internazionale Matematico Estivo )C.I.M.E.(held at Montecatini Terme, Italy 20-28, 1987
پدیدآورنده : M. Giaquinta )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Calculus of variations
رده :
QA
3
.
L28
no
.
1365
196. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987
پدیدآورنده : M. Giaquinta )ed.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Calculus of variations
رده :
QA
315
.
T6
1987
197. Topological algebras and their applications :
پدیدآورنده : edited by Alexander A. Katz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Topological algebras, Congresses.,MATHEMATICS-- Algebra-- Intermediate.,Topological algebras.
رده :
QA326
.
I58
2014
198. Toward a lean and lively calculus
پدیدآورنده : Conference/Workshop to Develop Alternate Curriculum and Teaching Methods for Calculus at the College Level, Tulane University, January 2-6, 1986 ; editor, Ronald G. Douglas,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Calculus - Study and teaching )Higher( - Congresses
رده :
QA
.
C66
303
1986
199. Toward a lean & lively calculus
پدیدآورنده :
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : CALCULUS-STUDY & TEACHING-CONGRESSES
رده :
QA
303
.
C66
1986
200. Transactions on computational systems biology XIII /
پدیدآورنده : Corrado Priami [and others] (Eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics, Congresses,Systems biology, Congresses,Systems biology
رده :
QH324
.
2
.
T73
2011
